Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
21	Lightweight Semantics for Automating the Invocation of Web APIs Maria Maleshkova, Carlos Pedrinaci, Ning Li, Jacek Kopecky, John Domingue Knowledge Media Institute (KMi), The Open University {m.maleshkova, c.pedrinaci, n Add to Reading List Source URL: sweet.kmi.open.ac.uk Language: English - Date: 2011-12-17 10:47:10 Web services Computing World Wide Web Application programming interface Web API Web Services Description Language Representational state transfer Web Application Description Language IBM API Management Overview of RESTful API Description Languages
22	Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Theoretical computer science Constraint logic programming Prolog Programming language Partial evaluation Functional programming Constraint programming Abstract interpretation Logic programming
23	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
24	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
25	Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-29 06:58:27 Theoretical computer science Logic in computer science Programming language semantics Denotational semantics Semantics Action semantics Operational semantics Programming language
26	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
27	Abstract Interpretation Jan Midtgaard Winter School, Day 1 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015 Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-02 14:24:45 Compiler construction Programming language implementation Syntax Compiler Radhia Cousot Semantics Parsing Abstract interpretation Abstract syntax tree Lexical analysis XPL Analysis
28	LNCSBAP: A Binary Analysis Platform Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Programming language implementation X86 architecture Assembly languages Decompiler X86 assembly language Compiler construction Low-level programming language X86 Disassembler IMP Compiler Predicate transformer semantics
29	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2015-04-20 13:48:41 Logic in computer science Operational semantics Lambda calculus Closure Combinatory logic Denotational semantics Divergence Rewriting Algorithm Semantics Standard ML
30	Final version to appear in OnwardSlimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi Brown University Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-07-24 12:41:04 Subroutines Functional programming Higher-order functions Programming language comparisons Lambda calculus Scope Fold Apply JavaScript Map Reserved word This